ESPerへの道 論理型オブジェクト指向言語ESP⑩ 最後の試練